-
1 numeralwise expressible predicate
English-Russian scientific dictionary > numeralwise expressible predicate
-
2 numeralwise expressible predicate
Математика: нумерически выразимый предикатУниверсальный англо-русский словарь > numeralwise expressible predicate
См. также в других словарях:
НУМЕРИЧЕСКИ ВЫРАЗИМЫЙ ПРЕДИКАТ — арифметический предикат обладающий по отношению к данной формальной системе S арифметики следующим свойством: существует такая формула в языке арифметики формальной, что для любых натуральных чисел 1) если истинно, то 2)еслиложно, то где означает … Математическая энциклопедия
